<%@ page contentType="text/html; charset=gb2312" language="java" import="java.io.*,java.util.*,GSR.web.*" errorPage="" %>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<%
		//String name= request.getParameter("name"); 
		String statement= request.getParameter("statement"); 
		String system = request.getParameter("DGS");
		Vector<String> H = Utility.generateTermSet(statement);
  	    Draw draw = new Draw(H.get(1),statement,system);
		out.println(draw.getHtmlOfFigure());
%>
